Transforming BPEL to Petri Nets
نویسندگان
چکیده
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional behaviour (e.g. faults, events, compensation). The semantics is implemented as a parser that translates BPEL specifications into the input language of the Petri net model checking tool LoLA. We demonstrate that the semantics is well suited for computer aided verification purposes.
منابع مشابه
WofBPEL: A Tool for Automated Analysis of BPEL Processes
The Business Process Execution Language for Web Service, known as BPEL4WS, more recently as WS-BPEL (or BPEL for short) [1], is a process definition language geared towards Service-Oriented Computing (SOC) and layered on top of the Web services technology stack. In BPEL, the logic of the interactions between a given service and its environment is described as a composition of communication acti...
متن کاملA Colored Petri Nets Model for Diagnosing Semantic Faults of BPEL Services ?
The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for e...
متن کاملA Colored Petri Nets Model for Diagnosing Data Faults of BPEL Services ?
The paper contributes to modeling an orchestrated complex Web Service (BPEL) with Colored Petri Nets (CPNs) for diagnosis. In the CPNs model, colored tokens are used to represent the faults in a BPEL process. A uniform fault model is introduced to represent both the faulty input data and external faulty Web services called by the BPEL activities. We use three I/O data dependency relations for e...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کاملTransforming Fuzzy State Diagram to Fuzzy Petri net
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and efforts have been performed to transform this language into formal methods including Petri nets. Thus, the operation of verification and validation of the qualitative and nonfunctional parameters could be achieved with more ability. Since the majority of the real world...
متن کامل